Plugging-in proof development environments usingLocksinLF

Plug-in Proof Support for Formal Development Environments

A number of industrial software development standards mandate that safety-critical software components be developed using formal methods, including formal verification. While formal development is supported by a number of formal development environments, verification of correctness properties is still a major bottleneck. Most formal development environments provide built-in facilities for disch...

Plugging (publicising) to prevent mucous plugging.

Computer Environments for Proof Construction

Does the presentation and use of the search space matter for complex problem solving tasks? We address these questions for the construction of proofs in sentential logic. Using a fully computerized logic course, we isolated crucial features of computer environments and assessed their relative pedagogical effectiveness. After being given a pretest for logical aptitude, students were divided into...

Guest Editorial Proof in Dynamic Geometry Environments

Since its creation in 1968, Educational Studies in Mathematics (ESM) has been a leading journal in the field of Mathematics Education. In the pages of ESM the results of new and important research in Mathematics Education have been reported and the most relevant research questions raised and discussed. Somewhat in parallel, the International Group for the Psychology of Mathematics Education (PM...

development of feminist poetics in adrienne rich

اشعار ریچ، به عنوان اشعاری که همیشه در حال تغییر و دگرگونی هستند، تجسمی از رشد و دگرگونیِ انسان هستد. پایان نامه ی حاضر، با تمرکز بر روی مراحل سیر شعری ریچ از تغییری در دنیا به عکس هایی فوری از یک عروس، سپس به شیرجه به درون کشتی شکسته و در نهایت به صبری عجیب مرا تا اینجا آورده، به بررسی این مراحل در قالب نظر شوالتر در رابطه با سه مرحله ی پیشرفت ادبی زنان یعنی مرحله ی زنانه، زن گرا و زن محور می پ...